2010 International Conference on Distributed Computing Systems Optimizing the Spatio-Temporal Distribution of Cyber-Physical Systems for Environment Abstraction Linghe Kong, Dawei Jiang, Min-You Wu Shanghai Jiao Tong Un

Source URL: wirelesslab.sjtu.edu.cn

• Knowledge representation
• Search algorithms
• Network theory
• Mathematics
• Connectivity
• Tree
• Breadth-first search
• Discrete mathematics
• Combinatorics
• Networks
• Centrality

Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber

Source URL: qav.comlab.ox.ac.uk

• Model checkers
• Software engineering
• Formal methods
• Theoretical computer science
• Software quality
• Computing
• PRISM model checker
• Model checking
• Formal verification
• Markov chain
• Stochastic
• Reliability engineering

Modelica - A Unified Object-Oriented Language for Physical Systems Modeling Version 3.2 Revision 2

Source URL: www.modelica.org

Govt. of India Ministry of Science & Technology Department of Science & Technology Interdisciplinary Cyber Physical Systems (ICPS) Division Detailed Call For Proposals (CFP) under ICPS programme. Last date for receipt of

Source URL: www.sric.iitkgp.ac.in

Project Profile EMPHYSIS Enhanced production code for improved system performance The major goal of the ITEA project EMPHYSIS (EMbedded systems with PHYSical models In the production code Software) is to enhance the pro

Source URL: itea3.org

Framework for Cyber-Physical Systems Release 1.0 May 2016 Cyber Physical Systems Public Working Group

Source URL: s3.amazonaws.com

ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling TUTORIAL and RATIONALE Version 1.1 December 15, 1998 H. Elmqvist1,

Source URL: www.modelica.org

Der Forschungsbereich Cyber-Physical Systems (Direktor: Prof. Dr. Rolf Drechsler) des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) bearbeitet mit über 20 Mitarbeitern nationale und internationale For

Source URL: www-cps.hb.dfki.de

Géza KOLUMBÁN Pázmány Péter Catholic University, Budapest, Hungary Limits and applicability of UWB Impulse Radio Technology in Cyber-Physical Systems, In-Car

Source URL: users.itk.ppke.hu